Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
261	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings
262	Satisfiability Modulo Recursive Programs Philippe Suter⋆ , Ali Sinan K¨oksal, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-06-13 20:10:28 Computability theory Formal methods Model theory Theory of computation Logic in computer science Satisfiability Modulo Theories Decision problem Function Satisfiability Theoretical computer science Mathematics Mathematical logic
263	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-13 20:55:06 Turing machine Theory of computation Alan Turing Computability theory Turing completeness Actor model Algorithm Complexity Strong AI Computer science Theoretical computer science Applied mathematics
264	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-24 08:03:06 Recursion Computability theory Theoretical computer science Function Binomial coefficient Factorial Scheme Fixed-point combinator Lambda calculus Mathematics Combinatorics Integer sequences
265	Reductions in Circuit Complexity: An Isomorphism Theorem and a Gap Theorem∗ Manindra Agrawal† Department of Computer Science Indian Institute of Technology Kanpur Add to Reading List Source URL: www.cse.iitk.ac.in Language: English - Date: 2006-11-19 23:12:18 Complexity classes Circuit complexity Computability theory Mathematical optimization FO NP-complete P versus NP problem Time complexity Reduction Theoretical computer science Computational complexity theory Applied mathematics
266	Selectors Make Analyzing case-lambda Too Hard yz Philippe Meunier y Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Constraint programming Logic programming Computability theory Lambda calculus Theoretical computer science Local consistency Scheme Pseudo-ring Clause Declarative programming Mathematics Mathematical logic
267	(K) Putting the Books in OrderGeorgian Armenian Logical Order Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2013-11-03 01:31:48 Computability theory Turing machine
268	The Past and Future History of Gnarly Computation Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2005-07-18 19:13:18 Mathematics Theory of computation Futurologists Marshall McLuhan New Criticism Postmodernism Rudy Rucker The Hive Algorithm Theoretical computer science Applied mathematics Computability theory
269	Toward abstract profiling Nguyen-Minh BUI D´epartement d’informatique et de g´enie logiciel, Universit´e Laval, Canada Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:20 Combinatory logic Lambda calculus Procedural programming languages Computability theory Eval Fixed-point combinator Function Expression Conditional Mathematics Theoretical computer science Computing
270	http://wedesoft.de/downloads/cambridge2014.pdf Fundamentals of Computing c 2014 Jan Wedekind, Digital Science Add to Reading List Source URL: www.wedesoft.de Language: English Computing Higher-order functions Computability theory Theoretical computer science Church encoding Scheme Fold Binary lambda calculus Lambda calculus Software engineering Declarative programming

UPDATE